Safety-instrumented systems (SISs) are technical systems that are used to protect humans, the environment, or assets from hazardous events. It is therefore important to ensure that these SISs are reliable. \citeauthor{61508} ...